#ifndef DEXVEC_H
#define DEXVEC_H

#include <vector>
#include <cstdint>
#include <iostream>
using namespace std;

typedef int32_t Lit;  // Renamed from Lit to avoid conflict

typedef size_t Dex;

typedef enum Symp {
    SIMPLIFY,
    SUBSUME,
    NONE
} Symp;

typedef std::vector<Lit> DexVec;

#endif
